新しいプログラミング・パラダイム⑨ 等式プログラミングから融合型プログラミングヘ